English logic programming system: tłumaczenie na inne języki